17 ideas
9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
9768 | Vagueness is semantic, a deficiency of meaning [Fine,K] |
9776 | A thing might be vaguely vague, giving us higher-order vagueness [Fine,K] |
9767 | A vague sentence is only true for all ways of making it completely precise [Fine,K] |
9770 | Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K] |
9772 | Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K] |
9773 | With the super-truth approach, the classical connectives continue to work [Fine,K] |
9774 | Borderline cases must be under our control, as capable of greater precision [Fine,K] |
9769 | Vagueness can be in predicates, names or quantifiers [Fine,K] |
7482 | Resurrection developed in Judaism as a response to martyrdoms, in about 160 BCE [Anon (Dan), by Watson] |